Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
På svenska
- 224 results
Publikationer
224
Utlysningar
0
Beviljade finansiering
1
Personer
0
Data
0
Infrastrukturer
0
Organisationer
0
Projekt
0
Publikationer -
224
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 224
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Icon
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon
Predictive
runtime
enforcement
Referentgranskad
DOI
10.1007/s10703-017-0271-1
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand,...
Formal Methods in System Design
2017
Publicationer information ikon
Predictive
runtime
enforcement
Referentgranskad
DOI
10.1145/2851613.2851827
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand,...
ACM Symposium On Applied Computing
2016
Publicationer information ikon
Runtime
enforcement
of cyber-physical systems
Referentgranskad
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems
2017
Publicationer information ikon
Runtime
enforcement
of reactive systems using synchronous enforcers
Referentgranskad
Öppen tillgång
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software
2017
Publicationer information ikon
Runtime
enforcement
of regular timed properties by suppressing and delaying events
Referentgranskad
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming
2016
Publicationer information ikon
Compositional
runtime
enforcement
Referentgranskad
DOI
10.1007/978-3-319-40648-0_7
Pinisetty, Srinivas; Tripakis, Stavros
Lecture Notes in Computer Science
2016
Publicationer information ikon
Predictive
runtime
verification of timed properties
Referentgranskad
DOI
10.1016/j.jss.2017.06.060
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, ...
Journal of Systems and Software
2017
Publicationer information ikon
Automatic Speed
Enforcement
in Finland
Öörni, Risto
ITS International
2010
Publicationer information ikon
Enforcement
of (Timed) Properties with Uncontrollable Events
Referentgranskad
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, He...
SPRINGER
2015
Publicationer information ikon
Prevention of environmental crime through
enforcement
—Finland and Sweden compared
Referentgranskad
DOI
DOI:10.1080/14043858.2014.1000649
Sahramäki, Iina; Korsell, Lars; Kankaanranta, Terhi
Journal of scandinavian studies in criminology and crime prevention
2015
Predictive
runtime
enforcement
Referentgranskad
DOI
10.1007/s10703-017-0271-1
2017
Predictive
runtime
enforcement
Referentgranskad
DOI
10.1145/2851613.2851827
2016
Runtime
enforcement
of cyber-physical systems
Referentgranskad
DOI
10.1145/3126500
2017
Runtime
enforcement
of reactive systems using synchronous enforcers
Referentgranskad
Öppen tillgång
DOI
10.1145/3092282.3092291
2017
Runtime
enforcement
of regular timed properties by suppressing and delaying events
Referentgranskad
DOI
10.1016/j.scico.2016.02.008
2016
Compositional
runtime
enforcement
Referentgranskad
DOI
10.1007/978-3-319-40648-0_7
2016
Predictive
runtime
verification of timed properties
Referentgranskad
DOI
10.1016/j.jss.2017.06.060
2017
Automatic Speed
Enforcement
in Finland
2010
Enforcement
of (Timed) Properties with Uncontrollable Events
Referentgranskad
2015
Prevention of environmental crime through
enforcement
—Finland and Sweden compared
Referentgranskad
DOI
DOI:10.1080/14043858.2014.1000649
2015
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 224
Sida 1
Sort